Merge pull request #591 from neheb/p
authorMoritz Warning <[email protected]>
Wed, 30 Sep 2020 15:10:51 +0000 (17:10 +0200)
committerGitHub <[email protected]>
Wed, 30 Sep 2020 15:10:51 +0000 (17:10 +0200)
prince: fix compilation with GCC 10


Trivial merge